Testing the Tester: Specification and Validation Approaches

نویسنده

  • John C. Johnson
چکیده

It’s a given that ATE test platforms are complex systems. Many HW and SW elements need to be integrated and work together for successful testing solutions. Too often we define a properly working platform within the context of the tools used to test and validate its behavior. Diagnostics, calibration, and special-purpose validation tools are used to prove a platform’s adherence to specifications. However, these tools and usage conditions are usually far removed from the end-use applications environment. They ignore or bypass many of the interactions encountered by a user’s actual test conditions. In an effort to manage the complexity of these interactions, some approaches try to limit the definition of a properly working tester to one that passes a particular validation standard (instead of meeting specifications in any legal usage).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Robustness testing of composed real-time systems

In this paper, we suggest a methodology for testing robustness of Real-Time Component-Based Systems (RTCBS). A RTCBS system is described as a collection of components where each component is modeled as a Timed Input-Output Automaton (TIOA). For each component, we handle two specifications: a nominal one and a degraded one. We extract test sequences from the nominal specification and we inject a...

متن کامل

Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems

Testing is a validation activity used to check the system’s correctness with respect to the specification. In this context, test based on refusals is studied in theory and tools are effectively constructed. This paper addresses, a formal testing based on stochastic refusals graphs (SRG) in order to test stochastic system represented by maximality-based stochastic labeled transition systems (MSL...

متن کامل

Passive Testing with Proxy-testers

Passive testing is an alternative testing approach whose purpose is to passively analyze an implementation behaviour without disturbing it. Usually, passive testing methods extract traces by means of sniffer-based tools, running in the same environment as the implementation. Nevertheless, many implementation environments prevent from setting a sniffer-based tool for security or technical reason...

متن کامل

Testing of Wireless Sensor Networks

AWireless SensorNetwork (WSN) is an embedded computation system for distributed sensing of a dispersed phenomenon. It is a distributed system built of autonomous, yet cooperating embedded devices, so-called sensor nodes. Each sensor node provides computational, communication and storage resources and typically operates on limited energy resources. WSNs are often deployed in remote locations for...

متن کامل

Conformance relation, associated equivalence, and minimum canonical tester in LOTOS

We first study the conf relation proposed by E. Brinksma and G. Scollo to formalize testing conformance. It is well-known from their work that, in order to test whether an implementation I is a valid implementation of a specification S (i.e. I conf S), it suffices to build, from S, a canonical tester T (S) such that, when T (S) is synchronized with an implementation I, it always reaches a corre...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002